$\vdash$  $\neg$($\uparrow$ff)